Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐ŸงฎTheorem Proving
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Building your MCP server with Laravel
sevalla.comยท1dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.comยท1d
โšกProof Automation
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Ship Broken Things
matmul.netยท23hยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
The effective LLM multi-tenant security with SQL
getbruin.comยท23hยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
CaRT: Teaching LLM Agents to Know When They Know Enough
arxiv.orgยท15h
๐Ÿ”ฒCellular Automata
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”’Language-based security
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs